VDict - Definition of applicativeorder reduction

Word not found. Suggestions:

Reverse definition search (Computing (FOLDOC) dictionary):

reduction reduction strategy parallel reduction string reduction beta reduction Computational Adequacy Theorem Weak Head Normal Form applicative order reduction delta reduction Church-Rosser Theorem graph reduction head normalisation theorem name capture call-by-name normal order reduction Compiler Target Language projection call-by-need normal form eta conversion Goffin black hole lazy evaluation RPL-1 LNF finite differencing redex S-K reduction machine term rewriting system contraction eta reduction GRIP evaluation GRAAL beta conversion demand driven delta conversion evaluation strategy diverge graph rewriting system specialisation Tcode combination EDL extensional equality Codd's reduction algorithm David Turner ParAlfl call-by-value Interactive Data Language alpha conversion strength reduction relational calculus G-Code DACTL relational algebra inline full laziness beta abstraction injection more...